Smooth constructions of homotopy-coherent actions

Homotopy Coherent Category Theory

Homotopy Coherent Structures

Naturally occurring diagrams in algebraic topology are commutative up to homotopy, but not on the nose. It was quickly realized that very little can be done with this information. Homotopy coherent category theory arose out of a desire to catalog the higher homotopical information required to restore constructibility (or more precisely, functoriality) in such “up to homotopy” settings. The firs...

Homotopy Actions by Topological Actions . Ii

A homotopy action of a group G on a space X is a homomorphism from G to the group HAUT(X) of homotopy classes of homotopy equivalences of X. George Cooke developed an 'obstruction theory to determine if a homotopy action is equivalent up to homotopy to a topological action. The question studied in this paper is: Given a diagram of spaces with homotopy actions of G and maps between them that are...

Constructions of smooth 4-manifolds

We describe a collection of constructions which illustrate a panoply of “exotic” smooth 4-manifolds. 1991 Mathematics Subject Classification: 57R55

Homotopy Coherent Adjunctions of Quasi-categories

We show that an adjoint functor between quasi-categories may be extended to a simplicially enriched functor whose domain is an explicitly presented “homotopy coherent adjunction”. This enriched functor encapsulates both the coherent monad and the coherent comonad generated by the adjunction. Furthermore, because its domain is cofibrant, this data can be used to construct explicit quasi-categori...